Area Theorem Proof